type t (= contag)
type u = t
val x : t
val y : u
